DEF=test
EXT=test
TESTDIR=.
KOMPILE_FLAGS=--gen-bison-parser
KRUN_FLAGS=-o kore

include ../../../include/kframework/ktest.mak
